#ifndef __EKF_LAPIC_H__
#define __EKF_LAPIC_H__

extern volatile uint8_t ekf_lcpu_id;

#endif
